@book{corejsf,
 author = {David Geary and Cay Horstmann},
 title = {Core \jsf Fundamentos},
 year = {2007},
 isbn = {9788576081609},
 publisher = {Alta Books},
 OPTedition = {2}
 } 

@TechReport{jcp2000,
  author = 	 {Author},
  title = 	 {Title},
  institution =  {Institution},
  url = {},
  year = 	 {Year},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@misc{javaAnotations,
  month = 	 {Março},
  year = 	 {2010},
  author = 	 {Oracle},
  url = {http://download.oracle.com/javase/1.5.0/ docs/guide/language/annotations.html}
}
@misc{apacheEl,
  url = {http://commons.apache.org/el/}
}
@misc{jcpDoc,
  url = {http://jcp.org/en/jsr/detail?id=252}
}




















@inproceedings{FeilerH93,
  author    = {Peter H. Feiler and
               Watts S. Humphrey},
  title     = {Software Process Development and Enactment: Concepts and
               Definitions},
  booktitle = {ICSP},
  year      = {1993},
  pages     = {28-40},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{wsci,
  author = 	 {Assaf Arkin and Sid Askary and Scott Fordin and Wolfgang Jekeli and Kohsuke Kawaguchi and David
Orchard and Stefano Pogliani and Karsten Riemer and Susan Struble and Pal Takacsi-Nagy and Ivana
Trickovic and Sinisa Zimek},
  title = 	 {Web service choreography interface},
  institution =  {World Wide Web Consortium}, 
  year = 	 {2002},
  OPTkey = 	 {}, 
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{xlang,
  author = 	 {S. Thatte},
  title = 	 {XLANG: Web Services for Business Process Design},
  OPTinstitution =  {Institution},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{uddi,
  author = 	 {Ariba Inc. and IBM Corp. and and Microsoft Corp},
  title = 	 {Universal Description, Discovery, and Integration (UDDI)},
  institution =  {UDDI.org}, 
  year = 	 {2000},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@TechReport{wsdl, 
  author = 	 {Erik Christensen and Francisco Curbera and Greg Meredith and Sanjiva Weerawarana},
  title = 	 {Web Services Description Language (WSDL) 1.1},
  institution =  {World Wide Web Consortium},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  note = 	 {Disponível em http://www.w3.org/TR/wsdl},
  OPTannote = 	 {}
}

@TechReport{soap,
  author = 	 {Don Box and David Ehnebuske and Gopal Kakivaya and Andrew Layman and Noah Mendelsohn and
Henrik Frystyk Nielsen and Satish Thatte and Dave Winer},
  title = 	 {Simple Object Access Protocol
(SOAP)},
  institution =  {World Wide Web Consortium},
  year = 	 {2000},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@Book{booch07,
  author = 	 {Grady Booch},
  ALTeditor = 	 {Editor},
  title = 	 {Object-Oriented Analysis and Design with Applications},
  publisher = 	 {Addison-Wesley},
  year = 	 {2007},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  number = 	 {51-52},
  series = 	 {ISBN 0-201-89551-X},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@article{StippB93,
  author    = {Lori Stipp and
               Grady Booch},
  title     = {Introduction to object-oriented design (abstract)},
  journal   = {OOPS Messenger},
  volume    = {4},
  number    = {2},
  year      = {1993},
  pages     = {222},
  ee        = {http://doi.acm.org/10.1145/157710.157777},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@book{Rosen08,
 author = {Rosen, Michael and Lublinsky, Boris and Smith, Kevin T. and Balcer, Marc J.},
 title = {Applied SOA: Service-Oriented Architecture and Design Strategies},
 year = {2008},
 isbn = {0470223650, 9780470223659},
 publisher = {Wiley Publishing},
 }

@inproceedings{Hernandez-BaruchPZ07,
  author    = {Victor Hernandez-Baruch and
               Alberto Portilla and
               Jos{\'e}-Luis Zechinelli-Martini},
  title     = {ROSE: A transactional services coordination engine},
  booktitle = {ENC},
  year      = {2007},
  pages     = {123-130},
  ee        = {http://dx.doi.org/10.1109/ENC.2007.18},
  crossref  = {DBLP:conf/enc/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@TechReport{bonita10,
  author = 	 {Miguel Valdes Faura and Rodrigue Le Gall},
  title = 	 {Bonita Open Solution 5.0.1},
  institution =  {OW2 Consortium},
  year = 	 {2010},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  address = 	 {http://forge.objectweb.org/projects/bonita},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
@inproceedings{PiresBM02,
  author    = {Paulo F. Pires and
               Mario R. F. Benevides and
               Marta Mattoso},
  title     = {Building Reliable Web Services Compositions},
  booktitle = {Web, Web-Services, and Database Systems},
  year      = {2002},
  pages     = {59-72},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2593/25930059.htm},
  crossref  = {DBLP:conf/jit/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{MendesPDB09,
  author    = {Reginaldo Mendes and
               Paulo F. Pires and
               Fl{\'a}via Coimbra Delicato and
               Tha\'{\i}s Vasconcelos Batista},
  title     = {WebFlowAH: an environment for ad-hoc specification and execution
               of web services-based processes},
  booktitle = {SAC},
  year      = {2009},
  pages     = {692-693},
  ee        = {http://doi.acm.org/10.1145/1529282.1529426},
  crossref  = {DBLP:conf/sac/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
} 

@inproceedings{Haddad08,
 author = {Haddad, Joyce El and Manouvrier, Maude and Ramirez, Guillermo and Rukoz, Marta},
 title = {QoS-Driven Selection of Web Services for Transactional Composition},
 booktitle = {ICWS '08: Proceedings of the 2008 IEEE International Conference on Web Services},
 year = {2008},
 isbn = {978-0-7695-3310-0},
 pages = {653--660},
 doi = {http://dx.doi.org/10.1109/ICWS.2008.116},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }
 
@INPROCEEDINGS{HL05TACoS,
  AUTHOR = {R. Heckel and M. Lohmann},
  TITLE = {Towards Contract-based Testing of Web Services.},
  BOOKTITLE = { Proceedings of the International Workshop on Test and Analysis of
	Component Based Systems (TACoS 2004)},
  YEAR = {2005},
  EDITOR = {Mauro Pezz\'e},
  VOLUME = {116},
  PAGES = {145-156},
  EE = {http://dx.doi.org/10.1016/j.entcs.2004.02.073},
  JOURNAL = {Electr. Notes Theor. Comput. Sci.},
  PARTNER = {ULEICES},
  URL = {http://www.cs.le.ac.uk/people/rh122/papers/2005/HL05TACoS.pdf}
}



@inproceedings{EllsonGKNW00, 
  author    = {John Ellson and
               Emden R. Gansner and
               Eleftherios Koutsofios and
               Stephen C. North and 
               Gordon Woodhull},
  title     = {Graphviz - Open Source Graph Drawing Tools},
  booktitle = {Graph Drawing},
  year      = {2001},
  pages     = {483-484},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2265/22650483.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@PhdThesis{ba2008,
  author = 	 {Cheikh Ba},
  title = 	 {Composition de Services Web Avec PEWS: Approche par la Théorie des Traces. },
  school = 	 {Université François Rabelais de Tours},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {}, 
  OPTnote = 	 {},
  OPTannote = 	 {}
}
 
@book{sommerville03,
  author = 	 {Ian Sommerville},
  ALTeditor = 	 {Roger Trimer},
  title = 	 {Software Engineering 6th Edition},
  publisher = 	 {Addison Wesley},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{LopesDBC08,
  author    = {Frederico Lopes and
               Fl{\'a}via Coimbra Delicato and
               Tha\'{\i}s Vasconcelos Batista and
               N{\'e}lio Cacho},
  title     = {On the integration of context-based heterogeneous middleware
               for ubiquitous computing},
  booktitle = {MPAC},
  year      = {2008},  
  pages     = {31-36},
  ee        = {http://doi.acm.org/10.1145/1462789.1462795},
  crossref  = {DBLP:conf/middleware/2008mpac},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inbook {pressman97c,
  author = "Roger S. Pressman",
  title = "Software Engineering: A 
           Practitioner's Approach",
  pages = "22--23",
  edition = "4",
  year = "1997",
  publisher = "McGraw-Hill"
}

@inproceedings{pullen09,
 author = {Pullen, J. Mark and Corner, Douglas and Singapogu, Samuel Suhas and McAndrews, Priscilla},
 title = {Interpreted Web Services as a Tool for Development of Command and Control Interoperability with Simulations},
 booktitle = {DS-RT '09: Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications},
 year = {2009},
 isbn = {978-0-7695-3868-6},
 pages = {131--135},
 doi = {http://dx.doi.org/10.1109/DS-RT.2009.42}, 
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@inproceedings{MorseBPMTM04,
  author    = {Katherine L. Morse and
               Ryan Brunton and
               J. Mark Pullen and
               Priscilla M. McAndrews and
               Andreas Tolk and
               James Muguira},
  title     = {An Architecture for Web-Services Based Interest Management
               in Real Time Distributed Simulation},
  booktitle = {DS-RT},
  year      = {2004},
  pages     = {108-115},
  ee        = {http://csdl.computer.org/comp/proceedings/ds-rt/2004/2232/00/22320108abs.htm},
  crossref  = {DBLP:conf/dsrt/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{KoutsoukosKANS06,
  author    = {Xenofon D. Koutsoukos and
               Manish Kushwaha and
               Isaac Amundson and
               Sandeep Neema and
               Janos Sztipanovits},
  title     = {OASiS: A Service-Oriented Architecture for Ambient-Aware
               Sensor Networks},
  booktitle = {Monterey Workshop},
  year      = {2006},
  pages     = {125-149},
  ee        = {http://dx.doi.org/10.1007/978-3-540-77419-8_8},
  crossref  = {DBLP:conf/monterey/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{ChengGCM09,
  author    = {Bo Cheng and
               Jie Guo and
               Junliang Chen and
               Xiangwu Meng},
  title     = {The communication model for real-time web service in telecom
               domain},
  journal   = {Int. J. Communication Systems},
  volume    = {22},
  number    = {6},
  year      = {2009},
  pages     = {773-787},
  ee        = {http://dx.doi.org/10.1002/dac.990},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{Allen83, 
  author    = {James F. Allen},
  title     = {Maintaining Knowledge about Temporal Intervals},
  journal   = {Commun. ACM},
  volume    = {26},
  number    = {11},
  year      = {1983},
  pages     = {832-843},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}  

@inproceedings{Espinosa-OviedoVZC09,
  author    = {Javier-Alfonso Espinosa-Oviedo and
               Genoveva Vargas-Solar and
               Jos{\'e}-Luis Zechinelli-Martini and
               Christine Collet},
  title     = {Non-functional properties and services coordination using
               contracts},
  booktitle = {IDEAS},
  year      = {2009},
  pages     = {307-310},
  ee        = {http://doi.acm.org/10.1145/1620432.1620467},
  crossref  = {DBLP:conf/ideas/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{PortillaHE08,
  author    = {Alberto Portilla and
               Tan Hanh and
               Javier-Alfonso Espinosa-Oviedo},
  title     = {Building reliable mobile services based applications},
  booktitle = {ICDE Workshops},
  year      = {2008},
  pages     = {121-128},
  ee        = {http://dx.doi.org/10.1109/ICDEW.2008.4498303},
  crossref  = {DBLP:conf/icde/2008w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Zechinelli-Martini00,
  author    = {Jos{\'e}-Luis Zechinelli-Martini},
  title     = {Integrating and Managing Multimedia Presentations by a Web-based
               Object Server},
  booktitle = {EDBT PhD Workshop},
  year      = {2000},
  ee        = {http://www.edbt2000.uni-konstanz.de/phd-workshop/papers/Zechinelli.ps},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{wscl02,
  author = 	 {Arindam Banerji and
  			  	Claudio Bartolini and
				Dorothea Beringe and
				Venkatesh Chopella and
				Kannan Govindarajan and
				Alan Karp and
				Harumi Kuno and
				Mike Lemon and
				Gregory Pogossiants and  
				Shamik Sharma and
				Scott Williams},
  title = 	 {Web {S}ervices {C}onversation {L}anguage ({WSCL}) 1.0},
  institution =  {Hewlett-Packard Company},
  year = 	 {2002},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {}, 
  OPTaddress = 	 {},
  OPTmonth = 	 {},  
  OPTnote = 	 {}, 
  OPTannote = 	 {}
}

@TechReport{oleg2008,
  author = 	 {Oleg Beletski},
  title = 	 {End {U}ser {M}ashup {P}rogramming {E}nvironments},
  institution =  {Helsinki University of Technology},
  year = 	 {2008},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {}, 
  OPTaddress = 	 {},
  OPTmonth = 	 {},  
  OPTnote = 	 {}, 
  OPTannote = 	 {}
}

@TechReport{marril2006,
  author = 	 {Duane Merrill},
  title = 	 {Mashups: The {N}ew {B}reed of {W}eb {A}pp},
  institution =  {IBM},
  year = 	 {2006},
  url = 	 {http://www.ibm.com/developerworks/xml/library/x-mashups.html},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{ZhaoHHLM08,
  author    = {Qi Zhao and
               Gang Huang and
               Jiyu Huang and
               Xuanzhe Liu and
               Hong Mei},
  title     = {A Web-Based Mashup Environment for On-the-Fly Service Composition},
  booktitle = {SOSE},
  year      = {2008},
  pages     = {32-37},
  ee        = {http://dx.doi.org/10.1109/SOSE.2008.9},
  crossref  = {DBLP:conf/sose/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{LiuHSL07,
  author    = {Xuanzhe Liu and
               Yi Hui and
               Wei Sun and
               Haiqi Liang},
  title     = {Towards Service Composition Based on Mashup},
  booktitle = {IEEE SCW},
  year      = {2007},
  pages     = {332-339},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SERVICES.2007.67},
  crossref  = {DBLP:conf/IEEEscc/2007w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{MusicanteP06,
  author    = {Martin A. Musicante and
               Edinardo Potrich},
  title     = {Expressing Workflow Patterns for Web Services: The Case
               of PEWS},  
  journal   = {J. UCS},
  volume    = {12},
  number    = {7},   
  year      = {2006},  
  pages     = {903-921}, 
  ee        = {http://www.jucs.org/jucs_12_7/expressing_workflow_patterns_for},
  bibsource = {DBLP, http://dblp.uni-trier.de}
} 
 
@article{BaCAM05,
  author    = {Cheikh Ba and
               Marcos Aur{\'e}lio Carrero and
               Mirian Halfeld Ferrari Alves and
               Martin A. Musicante},
  title     = {{PEWS}: {A} {N}ew {L}anguage for {B}uilding {W}eb {S}ervice {I}nterfaces},
  journal   = {J. UCS},
  volume    = {11},
  number    = {7},
  year      = {2005},
  pages     = {1215-1233},
  ee        = {http://www.jucs.org/jucs_11_7/pews_a_new_language},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{AalstHKB03,
  author    = {Wil M. P. van der Aalst and
               Arthur H. M. ter Hofstede and
               Bartek Kiepuszewski and
               Alistair P. Barros},
  title     = {Workflow Patterns},
  journal   = {Distributed and Parallel Databases},
  volume    = {14},
  number    = {1},
  year      = {2003},
  pages     = {5-51},
  ee        = {http://dx.doi.org/10.1023/A:1022883727209},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

 
@Misc{JavaCC,
  key =  	"JavaCC",
  note = 	"http://www.experimentalstuff.com/Technologies/JavaCC/",
  title =	"Java Compiler Compiler",
  URL =  	"http://www.experimentalstuff.com/Technologies/JavaCC/",
} 	 

@inproceedings{BaAM06,   
  author    = {Cheikh Ba and
               Mirian Halfeld Ferrari Alves and
               Martin A. Musicante},
  title     = {Composing Web Services with PEWS: A Trace-Theoretical Approach},
  booktitle = {ECOWS},
  year      = {2006},
  pages     = {65-74},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ECOWS.2006.12},
  crossref  = {DBLP:conf/ecows/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{BaF08,
  author    = {Cheikh Ba and
               M\'{\i}rian Halfeld Ferrari},
  title     = {Dependence graphs for verifications of web service compositions
               with PEWS},
  booktitle = {SAC},
  year      = {2008},
  pages     = {2387-2391},
  ee        = {http://doi.acm.org/10.1145/1363686.1364253},
  crossref  = {DBLP:conf/sac/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{MusicantePC08,
  author    = {Martin A. Musicante and
               Edinardo Potrich and
               Marcos Aur{\'e}lio Carrero},
  title     = {A programming environment for web services},
  booktitle = {SAC},
  year      = {2008},
  pages     = {2363-2367},
  ee        = {http://doi.acm.org/10.1145/1363686.1364249},
  crossref  = {DBLP:conf/sac/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{And79,
  author    = {Sten Andler},
  title     = {Predicate {P}ath {E}xpressions},
  booktitle = {Sixth Annual ACM Symposium on Principles of Programming Languages (6th POPL'79)},
  year      = {1979},
  pages     = {226-236},
  ee        = {db/conf/popl/Andler79.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}   

@TechReport{oasis06,
  author = 	 {C. Matthew MacKenzie and Ken Laskey and Francis McCabe and Peter F. Brown Rebekah Metz},
  title = 	 {Reference {M}odel for {S}ervice {O}riented {A}rchitecture 1.0},
  institution =  {OASIS Committee Specification},
  year = 	 {2006},
  OPTkey = 	 {},  
  OPTtype = 	 {}, 
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  month = 	 {August},
  OPTnote = 	 {},
  OPTannote = 	 {}
} 

@article{Peltz03,
  author    = {Chris Peltz},
  title     = {Web {S}ervices {O}rchestration and {C}horeography},
  journal   = {IEEE Computer},
  volume    = {36},
  number    = {10},
  year      = {2003},
  pages     = {46-52},
  ee        = {http://csdl.computer.org/comp/mags/co/2003/10/rx046abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Papazoglou03,
  author    = {Mike P. Papazoglou},
  title     = {Service-{O}riented {C}omputing: {C}oncepts, {C}haracteristics and
               {D}irections},
  booktitle = {WISE},
  year      = {2003},
  pages     = {3-12},
  ee        = {http://csdl.computer.org/comp/proceedings/wise/2003/1999/00/19990003abs.htm},
  crossref  = {DBLP:conf/wise/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Thomas05,
 author = {Erl, Thomas},
 title = {Service-{O}riented {A}rchitecture: {C}oncepts, {T}echnology, and {D}esign},
 year = {2005},
 isbn = {0131858580},
 publisher = {Prentice Hall PTR},
 address = {Upper Saddle River, NJ, USA},
 }
    
 @article{LeymannRS02,
  author    = {Frank Leymann and
               Dieter Roller and
               Marc-Thomas Schmidt},
  title     = {Web {S}ervices and {B}usiness {P}rocess {M}anagement},
  journal   = {IBM Systems Journal},
  volume    = {41},
  number    = {2},
  year      = {2002},
  pages     = {198-211},
  ee        = {http://researchweb.watson.ibm.com/journal/sj/412/leymann.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{swswpc2004,
  editor    = {Jorge Cardoso and
               Amit P. Sheth},
  title     = {Semantic {W}eb {S}ervices and {W}eb {P}rocess {C}omposition, {F}irst
               {I}nternational {W}orkshop, {SWSWPC} 2004, {S}an {D}iego, {CA}, {USA},
               {J}uly 6, 2004, {R}evised {S}elected {P}apers},
  booktitle = {SWSWPC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3387},
  year      = {2004},
  isbn      = {3-540-24328-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@article{Liu04,
author = {Sisi Liu and Rania Khalaf and Francisco Curbera},
title = {From {DAML-S} {P}rocesses to {BPEL4WS}},
journal ={Research Issues in Data Engineering, International Workshop on},
volume = {0},
issn = {2003116976},
year = {2004},
pages = {77-84},
doi = {http://doi.ieeecomputersociety.org/10.1109/RIDE.2004.1281706},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}
  
@TechReport{bpel03,
  author = 	 {Francisco Curbera and Yaron Goland and Johannes Klein and Frank Leymann and Dieter Roller Satish Thatte and Sanjiva Weerawarana},
  title = 	 {Business Process Execution Language for Web Services (BPEL4WS) 1.1},
  institution =  {IBM - Online: http://www-106.ibm.com/developerworks/webservices/library/ws-bpel},
  year = 	 {2003},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {}, 
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{bpel05,
  author = 	 {Assaf Arkin and Sid Askary and Ben Bloch and Francisco Curbera and Yaron Goland and Neelakantan Kartha and Neelakantan Kartha and Vinkesh Mehtaand and Satish Thatte and Prasad Yendluri and Alex Yiu and Alexandre Alves}, 
  title = 	 {Web {S}ervices {B}usiness {P}rocess {E}xecution {L}anguage 2.0},
  institution =  {OASIS - http://www.oasis-open.org/apps/org/workgroup/wsbpel/},
  year = 	 {2005},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@article{Milanovic04,
author = {Nikola Milanovic and Miroslaw Malek},
title = {Current Solutions for Web Service Composition},
journal ={IEEE Internet Computing},
volume = {8},
issn = {1089-7801},
year = {2004},
pages = {51-59},
doi = {http://doi.ieeecomputersociety.org/10.1109/MIC.2004.58},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
  
@TechReport{owl04,
  author = 	 {Sean Bechhofer and Frank van Harmelen and Jim Hendler and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider and Lynn Andrea Stein},
  title = 	 {OWL Web Ontology Language},
  institution =  {W3C - http://www.w3.org/TR/owl-ref/},
  year = 	 {2004},
  OPTkey = 	 {},
  OPTtype = 	 {}, 
  OPTnumber = 	 {},
  OPTaddress = 	 {}, 
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{Yang02,
  author    = {Jian Yang and
               Mike P. Papazoglou},
  title     = {Web Component: A Substrate for Web Service Reuse and Composition},
  booktitle = {CAiSE},
  year      = {2002},
  pages     = {21-36},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2348/23480021.htm},
  crossref  = {DBLP:conf/caise/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Milner92,
  author    = {Robin Milner},
  title     = {The Polyadic Pi-calculus (Abstract)},
  booktitle = {CONCUR},
  year      = {1992},
  pages     = {1},
  ee        = {http://dx.doi.org/10.1007/BFb0084778},
  crossref  = {DBLP:conf/concur/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Reisig85a,
  author    = {Wolfgang Reisig},
  title     = {Petri Nets: An Introduction},
  publisher = {Springer},
  series    = {Monographs in Theoretical Computer Science. An EATCS Series},
  volume    = {4},
  year      = {1985},
  isbn      = {3-540-13723-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{HamadiB03, 
  author    = {Rachid Hamadi and
               Boualem Benatallah},
  title     = {A Petri Net-based Model for Web Service Composition},
  booktitle = {ADC},
  year      = {2003},
  pages     = {191-200},
  ee        = {http://crpit.com/confpapers/CRPITV17Hamadi.pdf},
  crossref  = {DBLP:conf/adc/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
@inproceedings{BultanFHS03,
  author    = {Tevfik Bultan and
               Xiang Fu and
               Richard Hull and
               Jianwen Su},
  title     = {Conversation specification: a new approach to design and
               analysis of e-service composition},
  booktitle = {WWW},
  year      = {2003},
  pages     = {403-410},
  ee        = {http://doi.acm.org/10.1145/775152.775210},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{BuschermohleBBDHJSW04,
  author    = {Ralf Buscherm{\"o}hle and
               Mark Br{\"o}rkens and
               Ingo Br{\"u}ckner and
               Werner Damm and
               Wilhelm Hasselbring and
               Bernhard Josko and
               Christoph Schulte and
               Thomas Wolf},
  title     = {Model Checking (Grundlagen und Praxiserfahrungen)},
  journal   = {Informatik Spektrum},
  volume    = {27},
  number    = {2},
  year      = {2004},
  pages     = {146-158},
  ee        = {http://dx.doi.org/10.1007/s00287-004-0381-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{KnublauchFNM04, 
  author    = {Holger Knublauch and
               Ray W. Fergerson and
               Natalya Fridman Noy and
               Mark A. Musen},
  title     = {The Prot{\'e}g{\'e} OWL Plugin: An Open Development
               Environment for Semantic Web Applications},
  booktitle = {International Semantic Web Conference},
  year      = {2004},
  pages     = {229-243},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3298{\&}spage=229},
  crossref  = {DBLP:conf/semweb/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}